Advanced topics in bisimulation and coinduction
- Författare
- (Edited by Davide Sangiorgi, Jan Rutten.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2012 | Storbritannien, Cambridge, New York | 326 sidor. | 978-1-107-00497-9 |